English contract programming: tłumaczenie na inne języki